


<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>

<HEAD>


<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">

<base target="main">
<script language="JavaScript">
<!-- Begin
function loadTop(url) {
  parent.location.href= url;
}
// -->
</script>
<LINK rel="stylesheet" type="text/css" href="ccured.css">
</HEAD>

<BODY >
<!--HEVEA command line is: /usr/bin/hevea -exec xxdate.exe ../../ccuredpp -->
<!--HACHA command line is: /usr/bin/hacha -o ccuredtoc.html ccured.html -->



<TABLE CLASS="title">
<TR><TD></TD>
</TR></TABLE><BR>
<UL>
<LI><A HREF="ccured001.html">Introduction</A>
<UL>
<LI><A HREF="ccured001.html#toc1">Authors</A>
</UL>
<LI><A HREF="ccured002.html">Installation</A>
<UL>
<LI><A HREF="ccured002.html#toc2">Get the CCured sources</A>
<LI><A HREF="ccured002.html#toc3">Configure and Compile CCured</A>
<LI><A HREF="ccured002.html#toc4">Test CCured</A>
</UL>
<LI><A HREF="tutorial.html">CCured Tutorial</A>
<UL>
<LI><A HREF="tutorial.html#toc5">CCured Attributes</A>
<LI><A HREF="tutorial.html#toc6"><TT>SAFE</TT> pointers</A>
<LI><A HREF="tutorial.html#toc7">Checks for <TT>SAFE</TT> Pointers</A>
<LI><A HREF="tutorial.html#toc8">Checks for Returning Pointers</A>
<LI><A HREF="tutorial.html#toc9">Checks for Writing Pointers</A>
<LI><A HREF="tutorial.html#toc10"><TT>SEQ</TT>uence Pointers</A>
<LI><A HREF="tutorial.html#toc11"><TT>FSEQ</TT> Pointers</A>
<LI><A HREF="tutorial.html#toc12"><TT>WILD</TT> Pointers</A>
<LI><A HREF="tutorial.html#toc13">Split Metadata</A>
</UL>
<LI><A HREF="ccured004.html">Invoking CCured</A>
<UL>
<LI><A HREF="ccured004.html#toc14">Command-line options</A>
<LI><A HREF="ccured004.html#toc15">Controlling error handling at run time</A>
</UL>
<LI><A HREF="ccured005.html">CCured Type Inference</A>
<UL>
<LI><A HREF="ccured005.html#toc16">Using the pointer browser</A>
</UL>
<LI><A HREF="ccured006.html">Using CCured</A>
<UL>
<LI><A HREF="ccured006.html#toc17">Example: <TT>mathopd</TT> HTTP server</A>
<LI><A HREF="ccured006.html#toc18">Example: UCSPI TCP Suite</A>
<LI><A HREF="ccured006.html#toc19">Example: PING</A>
<LI><A HREF="ccured006.html#toc20">Example: THTTPD Server</A>
</UL>
<LI><A HREF="ccured007.html">How to Eliminate WILD Pointers</A>
<UL>
<LI><A HREF="ccured007.html#toc21">Polymorphism</A>
<LI><A HREF="ccured007.html#toc22">User-defined memory allocators</A>
<LI><A HREF="ccured007.html#toc23">Pointers with Run-Time Type Information</A>
<LI><A HREF="ccured007.html#toc24">Specifying Trusted Code</A>
</UL>
<LI><A HREF="ccured008.html">Writing Wrappers</A>
<UL>
<LI><A HREF="ccured008.html#toc25">Name Mangling</A>
<LI><A HREF="ccured008.html#toc26">Writing Simple Wrappers</A>
<LI><A HREF="ccured008.html#toc27">Writing Complex Wrappers</A>
<LI><A HREF="ccured008.html#toc28">Wrappers for data</A>
<LI><A HREF="ccured008.html#toc29">Wrapper Helper Functions</A>
<LI><A HREF="ccured008.html#toc30">Final Notes on Wrappers</A>
</UL>
<LI><A HREF="ccured009.html">Advanced CCured Issues</A>
<UL>
<LI><A HREF="ccured009.html#toc31">Function Pointers</A>
<LI><A HREF="ccured009.html#toc32">The <FONT COLOR=blue>main</FONT> Function</A>
<LI><A HREF="ccured009.html#toc33">Global Initialization</A>
<LI><A HREF="ccured009.html#toc34">Casting Integers to Pointers</A>
<LI><A HREF="ccured009.html#toc35">The <FONT COLOR=blue>sizeof</FONT> Issue</A>
<LI><A HREF="ccured009.html#toc36">Variable argument functions</A>
<LI><A HREF="ccured009.html#toc37">Tagged Unions</A>
<LI><A HREF="ccured009.html#toc38">Annotated Lengths</A>
<LI><A HREF="ccured009.html#toc39">Memory Management</A>
<LI><A HREF="ccured009.html#toc40">CCured Pragmas</A>
</UL>
<LI><A HREF="ccured010.html">CCured Warnings and Errors</A>
<UL>
<LI><A HREF="ccured010.html#toc41">Merging</A>
<LI><A HREF="ccured010.html#toc42">Inference</A>
<LI><A HREF="ccured010.html#toc43">Curing</A>
<LI><A HREF="ccured010.html#toc44">Linking</A>
<LI><A HREF="ccured010.html#toc45">Running the Cured Code</A>
</UL>
<LI><A HREF="ccured011.html">License</A>
<LI><A HREF="ccured012.html">Bug reports</A>
<LI><A HREF="changes.html">Changes</A>
<LI><A HREF="ccured014.html">Inference Results</A>
<UL>
<LI><A HREF="ccured014.html#toc46">Type Names</A>
</UL>
<LI><A HREF="ccured015.html">A Tour of the Source Code</A>
<LI><A HREF="ccured016.html">Old Tutorials</A>
<UL>
<LI><A HREF="ccured016.html#toc47">ftpd</A>
<LI><A HREF="ccured016.html#toc48">Writing Wrappers Manually</A>
<LI><A HREF="ccured016.html#toc49">Apache Modules</A>
</UL>
<LI><A HREF="ccured017.html">Using the Regression Tester</A>
<UL>
<LI><A HREF="ccured017.html#toc50">Running the regression</A>
<LI><A HREF="ccured017.html#toc51">Analyzing the results</A>
<LI><A HREF="ccured017.html#toc52">Configuring the regression</A>
<LI><A HREF="ccured017.html#toc53">An alternative interface</A>
<LI><A HREF="ccured017.html#toc54">The Automated Regression Tester</A>
</UL>
<LI><A HREF="ccured018.html">Debugging support</A>
<LI><A HREF="ccured019.html">Experimental Features</A>
</UL>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE CLASS="quote"><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
</EM><A HREF="http://pauillac.inria.fr/~maranget/hevea/index.html"><EM>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</EM></A><EM>.</EM></BLOCKQUOTE></BODY>
</HTML>
